|
|
|
|
Call.No
|
Title
|
Publishing
|
Author
|
ISBN
|
Record.No
|
|
1
|
|
|
|
QA9
.A5
.S3
|
The language of logic : a programmed text
|
Sydney, [ Australia ] : Random House , 1968
|
Schagrin, Morton L
|
|
4027
|
|
2
|
|
|
|
QA9
.A5
.D5
|
Introduction to mathematical logic : part II of Elementary concepts of modern mathematics
|
New York, [ United States ] : Meredith Corporation , 1964
|
Dikines, Flora
|
|
6074
|
|
3
|
|
|
|
QA331
.B7
|
Introduction to functions, operations and properties
|
New York, [ United States ] : Holt, Rinehart and Winston , 1969
|
Brant, Vincent
|
|
7735
|
|
4
|
|
|
|
BC135
.A9
|
Russell
|
London, [ United Kingdom ] : Fontana Press , 1972
|
Ayer, A.J
|
|
9464
|
|
5
|
|
|
|
BC135
.C42
|
Introduction to mathematical logic
|
Illinois, [ United States ] : Princeton University Press , 1956
|
Church, Alonzo
|
|
9788
|
|
6
|
|
|
|
QA9
.A5
.D4
|
A profile of mathematical logic
|
Philippines, [ Philippines ] : Addison Wesley Publishing Company , 1970
|
DeLong, Howard
|
|
10691
|
|
7
|
|
|
|
BC135
.C58
|
Symbolic logic
|
New York, [ United States ] : Macmillan Publishing Co. Inc. , 1967
|
Copi, Irving M.
|
|
11315
|
|
8
|
|
|
|
BC135
.B6
|
An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities
|
New York, [ United States ] : Dover Publications , [1951]
|
Boole, George
|
|
17317
|
|
9
|
|
|
|
QA9
.G4
|
Basic concepts of mathematics and logic
|
Michigan, [ United States ] : Addison Wesley Publishing Co. , 1960
|
Gemignani, Michael C.
|
|
21973
|
|
10
|
|
|
|
QA9
.H4513
|
Introduction to mathematical logic
|
Berlin, [ Germany ] : Springer-Verlag , 1973
|
Hermes, Hans
|
|
24629
|
|
11
|
|
|
|
QA9
.R8
|
Mathematical logic : Applications and theory
|
Philadelphia, [ United States ] : Saunders College Publishing , 1990
|
Rubin, Jean E
|
|
28357
|
|
12
|
|
|
|
QA9
.J6
|
Notes on logic and set theory
|
Cambridge, [ United Kingdom ] : Cambridge University Press , 1987
|
Johnstone, P. T.
|
|
28393
|
|
13
|
|
|
|
QA9
.E213
|
Mathematical logic
|
Berlin, [ Germany ] : Springer-Verlag , 1994
|
Ebbinghaus, H.D
|
|
30733
|
|
14
|
|
|
|
QA9
.A3
|
Logic of mathematics : A modern course of classical logic
|
New York, [ United States ] : John Wiley and Sons , 1997
|
Adamowicz, Zofia
|
|
34904
|
|
15
|
|
|
|
QA9.59
.E6
|
Computability : Computable functions, logic and the foundations of mathematics
|
California, [ United States ] : Wadsworth and Brooks/Cole Advanced Books and Softw , 1989
|
Epstein, Richard L
|
|
35420
|
|
16
|
|
|
|
BC135
.K3
|
Logic : techniques of formal reasoning
|
San Diego, [ United States ] : Harcourt Brace Jovanovich , 1980
|
Kalish, Donald
|
|
36708
|
|
17
|
|
|
|
QA9
.A5
.K3
|
Mathematics & logic : retrospect and prospects
|
New York, [ United States ] : Frederick A Praeger , 1968
|
Kac, Mark
|
|
47113
|
|
18
|
|
|
|
QA9
.A5
.C5
|
Symbolic logic and mechanical theorem proving
|
New York, [ United States ] : Academic Press, Inc., Publishers , 1973
|
Chin-Liang, Cahng
|
|
47410
|
|
19
|
|
|
|
QA9.25
.E5
|
Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games/Douglas E. Ensley, J. Winston Crawley
|
Hoboken, N.J, [ United States ] : Wiley , 2006
|
Ensley, Douglas E.
|
0471476021
|
86513
|
|
20
|
|
|
|
QA39.3
.R6
|
Discrete mathematics and its applications/Kenneth H. Rosen
|
Boston, [ United States ] : Higher Education , 2007
|
Rosen, Kenneth H.
|
0071244743
|
87353
|
|
21
|
|
|
|
BC135
.B4
|
The logic book/Merrie Bergmann, Smith College, Emerita James Moor, Dartmouth College, Jack Nelson
|
Boston, [ United States ] : McGraw-Hill/Connect Learn Succeed , 2014
|
Bergmann, Merrie
|
9781259010606
|
102358
|
|
22
|
|
|
|
QA3
.F713
|
Posthumous Writings/Gottlob Frege; edited by Hans Hermes...(etal); translated by Peter Long, Roger White, Raymond Hargreaves
|
Oxford, [ United Kingdom ] : Basil Blackwell Ltd. , 1979
|
Frege, Gottlob
|
0631128352
|
104116
|
|
23
|
|
|
|
QA9
.W5
|
What is mathematical logic?/J. N. Crossley ... [ et al ].
|
London, [ United Kingdom ] : Oxford University Press , 1972
|
Crossley, J.N.
|
0198880871
|
114429
|
|
24
|
|
|
|
QA9
.S5
|
Mathematical logic/Joseph R. Shoenfield
|
Massachusetts, [ United States ] : Addison Wesley Publishing Company, Inc. , 1967
|
Shoenfield, Joseph R.
|
|
114473
|
|
25
|
|
|
|
QA9.7
.M6
|
Model - theoretic logics/Edited by J. Barwise and S. Feferman
|
New York, [ United States ] : Springer - Verlag Inc. , 1985
|
|
0387909362
|
114482
|
|
26
|
|
|
|
Ref.
QA9
.D5
|
Dictionary of symbols of mathematical logic/edited by Robert Feys and Frederic B. Fitch
|
Amsterdam, [ Netherlands ] : North-Holland Publishing Company , 1969
|
|
|
114531
|
|
27
|
|
|
|
BC135
.L5
|
Symbolic logic and the real number system : An introduction to the foundation of number systems/A. H. Lightstone; edited by I. N. Herstein and Gian-Carlo Rota
|
New York, [ United States ] : Harper and Row Publishers , 1965
|
Lightstone, A. H.
|
|
114593
|
|
28
|
|
|
|
QA9
.C6
|
Set theory and the continuum hypothesis/Paul J. Cohen
|
New York, [ United States ] : W. A. Benjamin, Inc. , 1966
|
Cohen, Paul J.
|
|
114660
|
|
29
|
|
|
|
QA248
.S8
|
Set theory and logic/by Robert R. Stoll
|
San Francisco, [ United States ] : W. H. Freeman and Company , 1963
|
Stoll, Robert R.
|
|
114661
|